 |
Your search returned 5 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1996 Volume number : 22 Issue: 07 |
Separate Computation Of Alias Information For Reuse
(Article)
Subject:
Aliasing
,
Data Flow Graphs
,
Reuse
Author:
Mary Jean
Harrold
G
Rothermel
page:
442
-
460
Timing Analysis Of Ada Tasking Programs
(Article)
Subject:
Timing Analysis
,
Real-Time Systems
,
Program Exercise
Author:
J
Corbett
page:
461
-
483
Elements Of Style Analyzing A Software Design Feature With A Counterexample Detector
(Article)
Subject:
Abstract
,
Software Design Project
,
Formal Specification
Author:
D. K
Jackson
Craig A.
Damon
page:
484
-
495
Using Parial-Order Methods In The Formal Validation Of Industrial Concurrent Programs
(Article)
Subject:
Formal Methods
,
Automatic Vehicle Guidance
,
Validation
Author:
Patrice
Codefroid
Mark
Staskauskas
page:
496
-
507
Where Do Operations Come From A Multiparadigm Specification Technique
(Article)
Subject:
Formal Methods
,
Telecommunications
,
Consistency
Author:
Pamela
Zave
Michael
Jackson
page:
508
-
528
|
|
| | |
